Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
951	Theory of Real Approximation and Exact Geometric Computation Chee Yap Courant Institute of Mathematical Sciences Department of Computer Science New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-02-22 12:21:23 Computer programming Algorithm Mathematical logic Theoretical computer science CGAL Floating point Computational geometry Computer science Mesh generation Computing Theory of computation Mathematics
952	4-5 Nanoelectronics Architectures Ferdinand Peper, LEE Jia, ADACHI Susumu, ISOKAWA Teijiro, TAKADA Yousuke, MATSUI Nobuyuki, and MASHIKO Shinro The ongoing miniaturization of electronics will eventually lead to logic dev Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 18:53:45 Automata theory Asynchronous cellular automaton Nanocircuitry Digital electronics Mathematics Electronics Theory of computation Block cellular automaton Cellular neural network Cellular automata Ferdinand Peper Cellular automaton
953	Blowup or no blowup? The interplay between theory and computation in the study of 3D Euler equations Thomas Yizhao Hou California Institute of Technology, USA Email: [removed] Whether the 3D incompressible Eule Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2014-10-23 02:26:26 Aerodynamics Navier–Stokes equations Random walk model of consumption Leonhard Euler Euler equations Fluid dynamics Mathematics Physics
954	A COMPARATIVE ANALYSIS OF DYNAMIC NETWORK DECODING David Rybach, Ralf Schl¨uter, Hermann Ney Human Language Technology and Pattern Recognition, Computer Science Department, RWTH Aachen University, 52056 Aachen, Germany Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Finite state transducer Computer science Applied mathematics Computational linguistics Speech recognition Decoder Finite-state machine WFST Algorithm Automata theory Models of computation Theoretical computer science
955	9th ASCE Specialty Conference on Probabilistic Mechanics and Structural Reliability PMC2004 COMPUTATION OF UPPER AND LOWER BOUNDS IN LIMIT ANALYSIS USING SECOND-ORDER CONE PROGRAMMING AND MESH ADAPTIVITY Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2005-08-31 10:34:50 Spectral theory Order theory Supremum
956	Computational Mechanics of Input-Output Processes: Structured Transformations and the ε-transducer Nix Barnett James P. Crutchfield Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2014-12-08 14:27:30 Automata theory Control theory Applied mathematics Cybernetics Formal sciences Finite-state machine Markov chain Feedback Infinite impulse response Models of computation Statistics Mathematics
957	Fast Equilibrium Computation for Infinitely Repeated Games Garrett Andersen Vincent Conitzer Department of Computer Science Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2013-04-05 11:30:14 Decision theory Minimax Nash equilibrium Outcome Strategy Repeated game Zero–sum game Normal-form game Risk dominance Game theory Problem solving Mathematics
958	IAENG International Journal of Computer Science, 36:2, IJCS_36_2_05 ______________________________________________________________________________________ Finite Automata Approach to Computing All Seeds of Strings with t Add to Reading List Source URL: www.iaeng.org Language: English - Date: 2009-05-20 16:44:06 Theoretical computer science Mathematics Coding theory Discrete mathematics Nondeterministic finite automaton Levenshtein distance Hamming distance String Finite state transducer Automata theory Formal languages Models of computation
959	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2005-11-11 05:43:22 Spanning tree Computer programming Models of computation Message Passing Interface Parallel computing Algorithm I/O Automaton Model checking Finite-state machine Computing Automata theory Theoretical computer science
960	Examining Extended Dynamic Scripting in a Tactical Game Framework Jeremy Ludwig1 and Arthur Farley2 1 Stottler Henke Associates San Mateo, CA 94404 Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2009-11-03 19:58:08 Programming paradigms Models of computation Artificial intelligence Complex systems theory Reinforcement learning Q-learning Markov decision process Action selection Scripting language Computing Statistics Software engineering

UPDATE